The linguistic foundations of science and technology include many terms that have been borrowed from ancient languages. In the case of terms with origins in the Greek language, the modern meaning can often differ significantly from the original one. Here we use the PubMed database to demonstrate the prevalence of words of Greek origin in the language of modern science, and call for scientists to exercise care when coining new terms.

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

We describe an evaluation undertaken on contract for the New Zealand State Services Commission of a major project (the Administrative Decision-Making Skills Project) designed to produce a model of administrative decision making and an associated teaching/learning packagefor use by government officers. It describes the evaluation of a philosophical model of decision making and the associated teaching/learning package in the setting of the New Zealand Public Service, where a deliberate attempt has been initiated to improve the quality of decision making, especially (...) in relation to moral factors. (shrink)

The Protein Ontology provides terms for and supports annotation of species-specific protein complexes in an ontology framework that relates them both to their components and to species-independent families of complexes. Comprehensive curation of experimentally known forms and annotations thereof is expected to expose discrepancies, differences, and gaps in our knowledge. We have annotated the early events of innate immune signaling mediated by Toll-Like Receptor 3 and 4 complexes in human, mouse, and chicken. The resulting ontology and annotation data set has (...) allowed us to identify species-specific gaps in experimental data and possible functional differences between species, and to employ inferred structural and functional relationships to suggest plausible resolutions of these discrepancies and gaps. (shrink)

Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because (...) proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/. (shrink)

We present evidence from a pre-registered experiment indicating that a philosophical argument––a type of rational appeal––can persuade people to make charitable donations. The rational appeal we used follows Singer’s well-known “shallow pond” argument (1972), while incorporating an evolutionary debunking argument (Paxton, Ungar, & Greene 2012) against favoring nearby victims over distant ones. The effectiveness of this rational appeal did not differ significantly from that of a well-tested emotional appeal involving an image of a single child in need (Small, Loewenstein, and (...) Slovic 2007). This is a surprising result, given evidence that emotions are the primary drivers of moral action, a view that has been very influential in the work of development organizations. We did not find support for our pre-registered hypothesis that combining our rational and emotional appeals would have a significantly stronger effect than either appeal in isolation. However, our finding that both kinds of appeal can increase charitable donations is cause for optimism, especially concerning the potential efficacy of well-designed rational appeals. We consider the significance of these findings for moral psychology, ethics, and the work of organizations aiming to alleviate severe poverty. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

Co-authored letter to the APA to take a lead role in the recognition of teaching in the classroom, based on the participation in an interdisciplinary Conference on the Role of Advocacy in the Classroom back in 1995. At the time of this writing, the late Myles Brand was the President of Indiana University and a member of the IU Department of Philosophy.

Objective: There are benefits and risks of giving patients more granular control of their personal health information in electronic health record (EHR) systems. When designing EHR systems and policies, informaticists and system developers must balance these benefits and risks. Ethical considerations should be an explicit part of this balancing. Our objective was to develop a structured ethics framework to accomplish this. -/- Methods: We reviewed existing literature on the ethical and policy issues, developed an ethics framework called a “Points to (...) Consider” (P2C) document, and convened a national expert panel to review and critique the P2C. -/- Results: We developed the P2C to aid informaticists designing an advanced query tool for an electronic health record (EHR) system in Indianapolis. The P2C consists of six questions (“Points”) that frame important ethical issues, apply accepted principles of bioethics and Fair Information Practices, comment on how questions might be answered, and address implications for patient care. -/- Discussion: The P2C is intended to clarify whatis at stake when designers try to accommodate potentially competing ethical commitments and logistical realities. The P2C was developed to guide informaticists who were designing a query tool in an existing EHR that would permit patient granular control. While consideration of ethical issues is coming to the forefront of medical informatics design and development practices, more reflection is needed to facilitate optimal collaboration between designers and ethicists. This report contributes to that discussion. (shrink)

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

Une œuvre de fiction contient une mise en suspens si elle se termine au moment où un personnage central se retrouve dans des circonstances périlleuses. Le but de cet article est d’établir que les intentions narratives des auteurs déterminent ce qui se passe ensuite dans les œuvres qui se terminent par des mises en suspens et pour lesquelles aucune suite n’est produite. À cette fin, j’argumente à partir de l’idée qu’une suite écrite par l’auteur original résoudrait de façon unique une (...) œuvre de fiction qui aboutit à une mise en suspens; je conclus que les intentions narratives de l’auteur servent de vérifacteur pour des affirmations sur ce qui arrive ensuite en l’absence d’une telle suite. (shrink)

According to Marr's theory of vision, computational processes of early vision rely for their success on certain "natural constraints" in the physical environment. I examine the implications of this feature of Marr's theory for the question whether psychological states supervene on neural states. It is reasonable to hold that Marr's theory is nonindividualistic in that, given the role of natural constraints, distinct computational theories of the same neural processes may be justified in different environments. But to avoid trivializing computational explanations, (...) theories must respect methodological solipsism in the sense that within a theory there cannot be differences in content without a corresponding difference in neural states. (shrink)

The first sentence of NE I.2 has roughly the form: "If A [there is a universal end] and B, then D [this end will be the best good]". According to some commentators, Aristotle uses B to infer A; but then the sentence is fallacious. According to other commentators, Aristotle does not use B ; but then the sentence is bizarre. Contrary to both sets of commentators, I suggest that Aristotle uses B together with A to infer validly that there is (...) a non-instrumental – and thus unique – universal end. On this interpretation the above two problems disappear, but a subtler problem emerges: not-B does not entail C. (shrink)

Durand of Saint-Pourçain's earliest treatment of cognitive habits is contained in his Sentences Commentary, Book 3, Distinction 23. In the first two questions, he discusses the ontological status of habits and their causal role, establishing his own unique view alongside the views of Godfrey of Fontaines and Hervaeus Natalis. What follows is the Latin text and an English translation of Durand's Sentences (A/B) III, d. 23, qq. 1-2.

This paper discusses the first incarnation of what came to be known as the “Frege-Geach” point. The point was made by Peter Geach in his 1960 essay “Ascriptivism”, and developed in “Assertion”, a 1965 piece. Geach’s articles launch a wholesale attack on theories of non-descriptive performances advanced by “some Oxford philosophers” whom he accuses of ignoring “the distinction between calling a thing ‘P’ and predicating ‘P’ of a thing”. One view that Geach specifically targets is H. L. A. Hart’s (...) claim that sentences of the form “X φ-ed” are not primarily descriptive but ascriptive of responsibility for actions. Hart explicitly accepted Geach’s criticism, and disowned his essay. I argue that he was wrong to do so. Perhaps the essay was worth retracting, but not because of Geach’s objections. I begin by restating and refining Geach’s arguments, in order to bring out the flaw he claimed to have detected in the “pattern of philosophising” that he took Hart’s essay to exemplify. I go on to argue that Geach’s original point poses no obstacle either to non-descriptivism in general, or to Hart’s sui generis non-descriptivist claim in particular. (shrink)

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless gunk. The difficulty for (...) these views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

The presence of quotations from the Laus heremiticae vitae contained in Peter Damian’s letter 28 in Paradiso XXI has led scholars to claim that Dante was familiar with the writings of the hermit and cardinal who lived in the 11th century. Instead, the author believes that Dante had only read the Laus heremiticae vitae, which circulated independently of the other works of Peter Damian, whose writings were otherwise unknown to Alighieri. This conclusion is reached on the basis of (...) the poor quality of the information Dante offers on Peter Damian’s biography, which derives from the traditions of Ravenna and not from Fonte Avellana, where he could have found the manuscripts of the hermit and cardinal’s works. (shrink)

Concerning abortion and infanticide, ethics has always seen to each one as quite puzzling an issue. The dilemma expectedly goes like this: “Are they morally good, permissible or acceptable, or are they not?” All three major approaches in ethics, viz. virtue ethics, deontology and consequentialism, have fervently exerted themselves in order to settle both. A virtue ethicist is expected to approach the issue wondering: “Is performing abortion and infanticide indicative of virtues, to wit of character traits that the virtuous agent (...) possesses?” A deontologist would bring the dilemma up for discussion asking: “Is conducting abortion and infanticide in accordance with some moral rule or principle?” To an act utilitarian, on the other hand, the same question would strike as: “Do abortion and infanticide promote the best consequences, to wit those in which happiness is maximized?” All three approaches have been applied to the subject matter ever since the classic era, sadly with no remarkable success and, most of the times, even without the slightest suspicion of the promised rigor. (shrink)

In this paper, I intend to deny the morality and instrumentality of the behavior known as bestiality, or the use of non-human animals for sexual gratification by human beings. While to most modern peoples, this hardly even seems like it should be in question, it should be the nature of the human mind to occasionally question long-standing traditional moray in the hopes of finding solutions to problems and the disbanding of superstition. It has been proposed that the moral question, and (...) by extension the legal question, of bestiality is based on traditions long outlived and unnecessary. In an IceNews.is article written in 2008, Norwegian lawyers were growing concerned over the prevalence of animal brothels in Denmark and the precedent it set for Norway [http://www.icenews.is, 2008]. The article, when coupled with the 2001 article title “Heavy Petting” by prominent Utilitarian philosopher, Peter Singer, proves that the issue of bestiality is no longer the purview of jokes and psychological discussions. I will argue against bestiality as a socially acceptable practice based on five standard premises. The standard premises I will present will contain notes in regard to: instrumentality; consent; disease transmission; deviance; and morality. There is significant work available on the harm done to the beast, so aside from brief summary; the question of the good of the beast is not in the focus. I will also ignore any religious concerns, either surrounding morality or freedom of practice. Instead, these arguments are in support of the moral identity of the individual and of society as a whole. (shrink)

One of the important questions discussed by philosophers of technology has to do with the moral significance of artefacts in human life. While many philosophers agree that artefacts do have moral significance attached to them, opinions vary as to how it is to be construed. In this paper we deal with the approach of the influential Dutch philosopher of technology Peter Paul Verbeek. He criticizes traditional ethical theories for assuming that whatever relevancy artefacts have for morality is entirely dependent (...) on human beings, since artefacts are mere passive instruments of human agency. In contrast, he develops a view of moral agency that includes artefacts and that ascribes moral agency to human-technology hybrids rather than to humans as such. The goal of this paper is to elucidate Verbeek’s account of moral agency and evaluate it. We also deal with his views on post phenomenology and mediation underlying this account. Although the general gist of our paper is expository, we point out to several problems for Verbeek’s account. (shrink)

The Ockhamist claims that our ability to do otherwise is not endangered by God’s foreknowledge because facts about God’s past beliefs regarding future contingents are soft facts about the past—i.e., temporally relational facts that depend in some sense on what happens in the future. But if our freedom, given God’s foreknowledge, requires altering some fact about the past that is clearly a hard fact, then Ockhamism fails even if facts about God’s past beliefs are soft. Recent opponents of Ockhamism, including (...) David Widerker and Peter van Inwagen, have argued along precisely these lines. Their arguments, if successful, would undermine Ockhamism while avoiding the controversy over the alleged softness of facts about God’s past beliefs. But these arguments do not succeed. The past facts they rely on must be clear and uncontroversial examples of hard facts about the past, and these facts must be such that an ability to refrain from the relevant future action implies an ability to alter the relevant hard fact. We demonstrate the flaw in these arguments by showing how they rely on past facts that do not satisfy these criteria. The Ockhamist may have troubles, but this type of argument is not one of them. (shrink)

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument (...) from practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

Many of us read Peter Singer ’ s work on our obligations to those in desperate need with our students. Famously, Singer argues that we have a moral obligation to give a significant portion of our assets to famine relief. If my own experience is not atypical, it is quite common for students, upon grasping the implications of Singer ’ s argument, to ask whether Singer gives to famine relief. In response it might be tempting to remind students of (...) the ad hominem fallacy of attacking the person advancing an argument rather than the argument itself. In this paper I argue that the “ ad hominem reply ” to students ’ request for information about Singer is misguided. First I show that biographical facts about the person advancing an argument can constitute indirect evidence for the soundness / unsoundness of the argument. Second, I argue that such facts are relevant because they may reveal that one can discard the argument without thereby incurring moral responsibility for failing to act on its conclusion even if the argument is sound. (shrink)

Peter Sloterdijk's 'In the Shadow of Mt. Sinai' and Alain Badiou's 'Our Wounds Are Not So Recent' represent distinctly different attempts to come to grips with the conflict between the West (the US, the UK, France) and the Muslim world after the September 11th attacks. Although Sloterdijk finds the source of conflict in the religious zealotry of the Abrahamic religions, while Badiou blames the multinational capitalist system for drating a disaffected underclass, the two complementary perspectives work together to make (...) this ongoing conflict intelligible, if not, finally, to stop the war on terrorism. (shrink)

Since March of 2020, the world has been brought to its knees by unscientific and unethical mandates. These mandates have destroyed the world economy and the lives of countless innocent individuals. The “cure” that has been offered by medical bureaucrats and politicians has been more deadly than the disease (COVID-19). The imposition of ludicrous lockdowns, mask-wearing, coerced vaccination, and vaccine passports have not only proved to be ineffective, but also much more harmful than SARS-CoV-2 and all its variants. COVID-19 has (...) a recovery rate of close to 99% for most of the world’s population, however, despite this, institutions and power-hungry individuals have trampled upon our civil liberties and ignored our inalienable human rights. It is precisely as Thomas Paine famously stated: “The greatest tyrannies are always perpetrated in the name of the noblest causes.” -/- Many lives have been gratuitously lost because of the administration of deadly medical treatments, and the rejection of effective treatments that follow genuine science. In the process, informed consent has been disparaged and desecrated. For over two years, we were instructed to “trust the science,” but the “science” advocated by medical bureaucrats and greedy politicians was the reason why the world was turned upside-down. In the face of these crimes against humanity, justice will only be brought by real courts and real judges, but this will require the awakening of a critical mass. This book serves as an instrument for this awakening. (shrink)

This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.

The present text contains a critical edition of Peter of Palude’s question of divine concurrence, found in his Sentences commentary, book II, d. 1, q. 4. The question concerns whether God is immediately active in every action of a creature, and if yes, how we should understand this divine concurrence. Peter, just as elsewhere in his commentary, considers at length the opinions of other thinkers — especially those of Giles of Rome, Durand of St.-Pourçain, and Thomas Aquinas — (...) and develops his own answer as a response to theirs. Thus, while Giles maintained that God acts uniformly in every instance of natural causation just as the sun acts uniformly by giving the same light to everything, Peter (following Durand) argues that this is incompatible with the divine creation of multiple things. Second, while Durand maintained that God is only mediately active in the actions of creatures, Peter rejects this opinion because it cannot account for miracles contra naturam (such as the three young men in Nebuchadnezzar’s fire), and because he thinks that God’s immediate action follows from his immediate conservation of creatures. Third, Peter presents Aquinas’s position in detail, and defends it against Durand’s objections; according to this position, God immediately conserves and concurs with every creature, with an action that is numerically distinct from that of the secondary agent. Although as a result of his extensive borrowing, Peter’s text might not be regarded as immensely original, it provides an interesting case study of the Dominican reaction against Durand in the early 1300’s. (shrink)

This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an (...) unusual solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When H correctly determines that D correctly simulated by H must be aborted to prevent its own infinite execution then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof. ...

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

In recent years, interest in desert-based theories of justice has increased, and this seems to represent a challenge to equality-based theories of justice.[i] The best distribution of outcomeadvantage with respect to desert, after all, need not be the most equal distribution of outcomeadvantage. Some individuals may deserve more than others. Outcome egalitarianism is, however, implausible, and so the conflict of outcome desert with outcome equality is of little significance.[ii] Most contemporary versions of egalitarianism are concerned with neutralizing the differential effects (...) of brute luck and not with equality of outcome. I shall argue that, in order to be plausible, a desert-based theory of justice can and must be compatible with this form of egalitarianism. There is, however, a stronger form of brute luck egalitarianism, which, as I shall explain, is concerned with equalizing the advantages from brute luck—and not merely with neutralizing the differential effects thereof. Under idealized conditions in which agents have perfect information about the outcomes that their choices generate, even this stronger form of egalitarianism, I shall show, is compatible with pure desert theory. Under conditions of incomplete information, however, strong brute luck egalitarianism is incompatible with a pure desert theory that appeals, as I shall explain, to moral, rather than prudential, desert. (shrink)

Margaret Macdonald was at the institutional heart of analytic philosophy in Britain in the mid-twentieth century. Yet, her views on the nature of philosophical theories diverge quite considerably from those of many of her contemporaries. In this paper, I focus on her 1953 article ‘Linguistic Philosophy and Perception’, a provocative paper in which Macdonald argues that the value of philosophical theories is more akin to that of poetry or art than science or mathematics. I do so for two reasons. First, (...) because it reveals just how far Macdonald’s meta- philosophical views diverged from those of many of her contemporaries. Second, because the discussion in LPP pre-empts recent literature on the nature of philosophical inquiry and the efficacy of philosophical arguments. Indeed, Macdonald’s paper is just as likely to provoke discussion today as it was in the 1950s. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

The term “Gettier Case” is a technical term frequently applied to a wide array of thought experiments in contemporary epistemology. What do these cases have in common? It is said that they all involve a justified true belief which, intuitively, is not knowledge, due to a form of luck called “Gettiering.” While this very broad characterization suffices for some purposes, it masks radical diversity. We argue that the extent of this diversity merits abandoning the notion of a “Gettier case” in (...) a favour of more finely grained terminology. We propose such terminology, and use it to effectively sort the myriad Gettier cases from the theoretical literature in a way that charts deep fault lines in ordinary judgments about knowledge. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

The goal of the current paper is to provide an introduction to and survey of the diverse landscape of relevant alternatives theories of knowledge. Emphasis is placed throughout both on the abstractness of the relevant alternatives approach and its amenability to formalization through logical techniques. We present some of the important motivations for adopting the relevant alternatives approach; briefly explore the connections and contrasts between the relevant alternatives approach and related developments in logic, epistemology and philosophy of science; provide a (...) schema for classifying and studying relevant alternatives theories at different levels of abstraction; and present a sample of relevant alternatives theories (contrasting what we call question-first and topic-first theories) that tie our discussion to on-going debates in the philosophical literature, as well as showcasing techniques for formalizing some of the important positions in these debates. (shrink)

This paper deals with the core version of the Trolley Problem. In one case many people favor an act which will bring about the death of one person but save five other persons. In another case most people would refuse to “sacrifice” one person in order to save five other lives. Since the two cases seem similar in all relevant respects, we have to explain and justify the diverging verdicts. Since I don’t find current proposals of a solution convincing, I (...) propose an alternative one according to which —but not —violates two forms of equality. I also test the underlying egalitarian principle against other cases. I argue that it offers a good explanation and also a normative justification of our intuitive verdicts about the cases. (shrink)

This paper argues that early modern experimental philosophy emerged as the dominant member of a pair of methods in natural philosophy, the speculative versus the experimental, and that this pairing derives from an overarching distinction between speculative and operative philosophy that can be ultimately traced back to Aristotle. The paper examines the traditional classification of natural philosophy as a speculative discipline from the Stagirite to the seventeenth century; medieval and early modern attempts to articulate a scientia experimentalis; and the tensions (...) in the classification of natural magic and mechanics that led to the introduction of an operative part of natural philosophy in the writings of Francis Bacon and John Johnston. The paper concludes with a summary of the salient discontinuities between the experimental/speculative distinction of the mid-seventeenth century and its predecessors and a statement of the developments that led to the ascendance of experimental philosophy from the 1660s. (shrink)

Is knowledge necessary or sufficient or both necessary and sufficient for acceptable practical reasoning and rational action? Several authors (e.g., Williamson, Hawthorne, and Stanley) have recently argued that the answer to these questions is positive. In this paper I present several objections against this view (both in its basic form as well in more developed forms). I also offer a sketch of an alternative view: What matters for the acceptability of practical reasoning in at least many cases (and in all (...) the cases discussed by the defenders of a strong link between knowledge and practical reasoning) is not so much knowledge but expected utility. (shrink)

In the mid-seventeenth century a movement of self-styled experimental philosophers emerged in Britain. Originating in the discipline of natural philosophy amongst Fellows of the fledgling Royal Society of London, it soon spread to medicine and by the eighteenth century had impacted moral and political philosophy and even aesthetics. Early modern experimental philosophers gave epistemic priority to observation and experiment over theorising and speculation. They decried the use of hypotheses and system-building without recourse to experiment and, in some quarters, developed a (...) philosophy of experiment. The movement spread to the Netherlands and France in the early eighteenth century and later impacted Germany. Its important role in early modern philosophy was subsequently eclipsed by the widespread adoption of the Kantian historiography of modern philosophy, which emphasised the distinction between rationalism and empiricism and had no place for the historical phenomenon of early modern experimental philosophy. The re-emergence of interest in early modern experimental philosophy roughly coincided with the development of contemporary x-phi and there are some important similarities between the two. (shrink)

This article gives an overview over different principles of epistemic closure, their attractions and their problems.